Concrete Mathematics - PDFSEARCH.IO - Document Search Engine

Concrete Mathematics
Results: 51

#	Item
11	[removed]Pier Vittorio Aureli e-flux journal #64 Ñ april 2015 Ê Pier Vittorio Aureli Intangible and Concrete: Notes on Architecture and Abstraction Add to Reading List Source URL: worker01.e-flux.com Language: English - Date: 2015-04-03 19:00:38 Mind Cognition Thought Marxist theory Art movements Alfred Sohn-Rethel Mathematics Abstract art Concept Abstraction Metaphysics Ontology
12	Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:05 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
13	For laboratory use only Collection Request No. (CRN) Test Request No. (TRN) Public Works Laboratories Geotechnical Engineering Office, Hong Kong Add to Reading List Source URL: www.cedd.gov.hk Language: English - Date: 2015-01-26 04:34:12 Masonry Pavements Cube Visual arts M3 Mathematics Numbers Concrete
14	A Concrete Presentation of Game Semantics W. Blum∗ C.-H. L. Ong† Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Models of computation Logic in computer science Lambda calculus Tree traversal Combinatory logic Free variables and bound variables Computation tree Theoretical computer science Mathematics Applied mathematics
15	Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2014-11-04 14:23:47 Abstract interpretation Galois connection Order theory Model theory Galois theory Structure Abstract algebra Mathematics Algebra
16	CHAPTER TWO DEFINITION OF OBSERVER In this chapter we define the concept observer. The previous chapter introduced this notion by concrete examples. We now abstract from these examples a formal definition. We discuss th Add to Reading List Source URL: www.cogsci.uci.edu Language: English - Date: 1997-09-09 15:52:34 Probability theory Dirac measure Support Sigma-algebra Measurable function Measure Random variable Borel set Disintegration theorem Mathematical analysis Mathematics Measure theory
17	Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Abstract interpretation Galois connection Order theory Model theory Galois theory Structure Abstract algebra Mathematics Algebra
18	Chu realizes all small concrete categories Vaughan Pratt January 9, 2005 Abstract The category Chu is concretely universal for much of concrete mathematics; in particular it concretely represents or realizes all categori Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:07:13 Functors Concrete category Morphism Category Universal property Chu space Full and faithful functors Natural transformation Epimorphism Category theory Abstract algebra Mathematics
19	On the concrete hardness of Learning with Errors Martin R. Albrecht1 , Rachel Player1 , and Sam Scott1 Information Security Group, Royal Holloway, University of London Abstract. The Learning with Errors (LWE) problem has Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-01-19 12:06:15 Lattice points Computational number theory Abstract algebra Lattice problem Lattice reduction Lenstra–Lenstra–Lovász lattice basis reduction algorithm Learning with errors Lattice Projection Mathematics Cryptography Algebra
20	Three-dimensional mathematical analysis of particle shape using X-ray tomography and spherical harmonics: Application to aggregates used in concrete by Edward J. Garboczi Add to Reading List Source URL: fire.nist.gov Language: English - Date: 2002-12-20 15:24:46 Surfaces Ellipsoid Quadrics Aggregate Pixel Spherical harmonics Quantum mechanics Sphere Diffusion MRI Geometry Mathematical analysis Mathematics

UPDATE